00100	<ST> ::= <F11>;	=> *
00200	<F11> ::= DSK:<FILE> =>(DSK . FILE)
00300		::= <F2>	=> *
00400	
00500	<F2> ::= <F3>	=>*
00600	::= <F2> ∨ <F3>	=> (OR F2 F3)
00700	
00800	<F3> ::= <F4> 	=>*
00900	::= <F3> ∧ <F4> 	=> (AND F3 F4)
01000	
01100	<F4> ::= (<F11>)	=> *
01200	::= ¬<F4>	=> (NOT F4)
01300	
01400	 ::= <PREDIC>	=> PREDIC
01500	
01600	
01700	
01800	
01900	
02000	<PREDIC>::= ANCESTRY =>ANCESTRY
02100		::= NONE => NONE
02200		::= VINE => VINE
02300		::= UNIT => UNIT
02400		::= P1 => ALLPOS
02500		::= P2=>ALLNEG
02600		::=SUPPORT[<C>] =>(SUPPORT . C)
02700	::= DEPTH[<NUMBER>] =>(MAXDEPTH(CDR C) NUMBER)
02800	::= SELDEPTH[<FNLSTP>]	=>(DEP . FNLSTP)
02900	::= LENGTH[<NUMBER>] =>(MAXLENGTH C NUMBER)
03000		::=MODEL[<PREDLST>;<PREDLST1>] =>(MODEL PREDLST PREDLST1)
03100		::=EQUALITY[<OP>,<NUMBER>] =>(EQUALITY OP  NUMBER)
03200	
03300		::=DEMOD[<CLAUSES><NUMBER>] =>(DEMOD CLAUSES NUMBER)
03400		::=DEFMODEL[ID] => (DEFMODEL . ID)
03500	
03600	<PREDLST1> ::= <PREDLST> =>*
03700	
03800	<PREDLST> ::= <ID>,<PREDLST> => (ID . PREDLST)
03900		::= <ID> => ID
04000		::= 	=> NIL
04100	<FNLSTP>::=<FP>;<FNLSTP>	=>(FP . FNLSTP)
04200		::=<FP>			=>(FP)
04300	
04400	<FP>	::= <OP>,<NUMBER>	=>(OP . NUMBER)
04500	
04600	END